python dataclasses to json